Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 6
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoFIGUEIREDO, J. C. A. de; PERKUSICH, A. Analise temporal baseada em redes de Petri para sistemas de software. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994. p.209-221

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoPERKUSICH, A.; FIGUEIREDO, J. C. A. de. A G-Net based environment for logical and timing analysis of software systems. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 241-256.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoFIGUEIREDO, J. C. A. de; PERKUSICH, A. Tratamento antecipado de falhas: uma abordagem por Redes de Petri. In: SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 6.; CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais ... Porto Alegre: UFRGS, Instituto de Informática, 1995. p.125-141.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoBARROSO, G. C.; LIMA, A. M. N.; PERKUSICH, A. Analise de seguranca baseada em controle supervisorio e redes de Petri. In: SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 6.; CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais ... Porto Alegre: UFRGS, Instituto de Informática, 1995. p.451-470.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoBARROSO, G. C.; LIMA, A. M. N.; PERKUSICH, A. Modular synthesis of supervisors based on a Petri net approach. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. v.2 p. 965-976.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
6.Imagem marcado/desmarcadoPERKUSICH, M. L. B.; SCHIEL, U.; PERKUSICH, A. Modelo orientado a objetos para modelagem de sistemas e banco de dados em tempo-real. In: SIMPÓSIO BRASILEIRO DE BANCO DE DADOS, 9., 1994, São Carlos. Anais... São Carlos: USP-ICMSC, 1994. p.127-141. SBBD'94. Editado por Caetano Traina Júnior.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 6
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional